Functional languages - PDFSEARCH.IO - Document Search Engine

Functional languages
Results: 3400

#	Item
501	Languages as Libraries Sam Tobin-Hochstadt Vincent St-Amour Ryan Culpepper Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-06-29 14:59:59 Functional languages Type theory Source code Lisp programming language Racket Macro Programming language Type safety Type system Software engineering Computing Computer programming
502	Seeing the Futures: Profiling Shared-Memory Parallel Racket James Swaine Northwestern University Burke Fetscher Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-06-29 14:59:59 Functional languages Digital signal processing Parallel computing Application programming interfaces Racket Fast Fourier transform Futures and promises Cooley–Tukey FFT algorithm Append Computing Computer programming Software engineering
503	Seeing the Futures: Profiling Shared-Memory Parallel Racket James Swaine Northwestern University Burke Fetscher Add to Reading List Source URL: www.eecs.northwestern.edu Language: English - Date: 2012-07-11 20:10:20 Functional languages Digital signal processing Parallel computing Application programming interfaces Racket Fast Fourier transform Futures and promises Cooley–Tukey FFT algorithm Append Computing Computer programming Software engineering
504	Outline 25 Alternative I/O Models 25.1 Overview 25.2 Signal-driven I/O 25.3 I/O multiplexing: poll() Add to Reading List Source URL: man7.org Language: English - Date: 2015-07-13 04:42:17 C POSIX library Select File descriptor Functional languages Unix Q Circular buffer Linux Device file Computing Software Epoll
505	tifact Abstract Many languages support behavioral software contracts so Add to Reading List Source URL: www.eecs.northwestern.edu Language: English - Date: 2013-08-10 19:31:40 Contract law Functional languages Compiling tools Parser generators Compiler construction Racket Lexical analysis Lex Design by contract Software engineering Computing Software
506	Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization Diego Figueira CNRS, LaBRI, France & University of Edinburgh, UK Santiago Figueira Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2015-05-26 20:54:57 Functional languages XML Model theory XPath 1.0 XPath First-order logic Constructible universe XQuery XSLT Computing Web standards Mathematical logic
507	Compiler Copyright © Ericsson AB. All Rights Reserved. Compiler 6.0 June 23, 2015 Copyright © Ericsson AB. All Rights Reserved. Add to Reading List Source URL: www.erlang.org Language: English Procedural programming languages Functional languages Cross-platform software Compiler construction Perl Perl module Pascal Objective-C Erlang Software engineering Computing Computer programming
508	Used Software by R. P. Gabriel Lucid, Inc. 1. A Story The student looked out the window and wondered how to speed up his program. He Add to Reading List Source URL: www.dreamsongs.com Language: English - Date: 2012-08-04 15:59:56 Programming paradigms Functional languages Procedural programming languages Lisp programming language Cross-platform software Lisp Programming language Object-oriented programming Computer program Computing Software engineering Computer programming
509	Hasochism The Pleasure and Pain of Dependently Typed Haskell Programming Sam Lindley Conor McBride Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-07-26 13:01:51 Functional languages Type theory Procedural programming languages Functional programming Data types Agda Standard ML Type class Map Software engineering Computing Computer programming
510	SAMPLE CHAPTER DEEP DIVES EDITORS Tomas Petricek Phillip Trelford ● Add to Reading List Source URL: manning.com Language: English - Date: 2015-07-19 10:22:09 Functional languages Object-oriented programming Software development methodology MATLAB Programming language Functional programming Computer programming Geographic information system Linear programming Software Computing Programming paradigms

UPDATE